$\mathbb{N}$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$i$:$\mathbb{Z}\mid$ 0 $\leq$ $i$\}